node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
node(126).
node(127).
node(128).
node(129).
node(130).
node(131).
node(132).
node(133).
node(134).
node(135).
node(136).
node(137).
node(138).
node(139).
node(140).
node(141).
node(142).
node(143).
node(144).
node(145).
node(146).
node(147).
node(148).
node(149).
node(150).
link(1,8) :- #0.988.
link(8,1) :- #0.502.
link(1,31) :- #0.787.
link(31,1) :- #0.385.
link(1,37) :- #0.438.
link(37,1) :- #0.762.
link(1,44) :- #0.613.
link(44,1) :- #0.872.
link(1,47) :- #0.507.
link(47,1) :- #0.646.
link(1,52) :- #0.482.
link(52,1) :- #0.999.
link(1,60) :- #0.601.
link(60,1) :- #0.949.
link(1,76) :- #0.856.
link(76,1) :- #0.596.
link(1,81) :- #0.903.
link(81,1) :- #0.776.
link(1,87) :- #0.429.
link(87,1) :- #0.28.
link(1,142) :- #0.379.
link(142,1) :- #0.824.
link(1,145) :- #0.524.
link(145,1) :- #0.064.
link(1,148) :- #0.844.
link(148,1) :- #0.765.
link(2,5) :- #0.167.
link(5,2) :- #0.464.
link(2,31) :- #0.726.
link(31,2) :- #0.075.
link(2,39) :- #0.978.
link(39,2) :- #0.086.
link(2,42) :- #0.296.
link(42,2) :- #0.463.
link(2,48) :- #0.5.
link(48,2) :- #0.984.
link(2,57) :- #0.391.
link(57,2) :- #0.334.
link(2,60) :- #0.871.
link(60,2) :- #0.754.
link(2,62) :- #0.629.
link(62,2) :- #0.113.
link(2,65) :- #0.204.
link(65,2) :- #0.282.
link(2,66) :- #0.848.
link(66,2) :- #0.44.
link(2,67) :- #0.815.
link(67,2) :- #0.83.
link(2,79) :- #0.071.
link(79,2) :- #0.121.
link(2,87) :- #0.682.
link(87,2) :- #0.042.
link(2,93) :- #0.63.
link(93,2) :- #0.736.
link(2,96) :- #0.403.
link(96,2) :- #0.128.
link(2,102) :- #0.597.
link(102,2) :- #0.153.
link(2,105) :- #0.362.
link(105,2) :- #0.784.
link(2,139) :- #0.319.
link(139,2) :- #0.145.
link(2,146) :- #0.064.
link(146,2) :- #0.915.
link(3,8) :- #0.371.
link(8,3) :- #0.247.
link(3,31) :- #0.268.
link(31,3) :- #0.479.
link(3,40) :- #0.495.
link(40,3) :- #0.012.
link(3,43) :- #0.056.
link(43,3) :- #0.246.
link(3,58) :- #0.258.
link(58,3) :- #0.686.
link(3,65) :- #0.507.
link(65,3) :- #0.075.
link(3,68) :- #0.009.
link(68,3) :- #0.718.
link(3,70) :- #0.939.
link(70,3) :- #0.007.
link(3,96) :- #0.783.
link(96,3) :- #0.613.
link(3,102) :- #0.372.
link(102,3) :- #0.621.
link(3,117) :- #0.806.
link(117,3) :- #0.927.
link(3,135) :- #0.015.
link(135,3) :- #0.364.
link(4,11) :- #0.139.
link(11,4) :- #0.014.
link(4,17) :- #0.407.
link(17,4) :- #0.955.
link(4,22) :- #0.374.
link(22,4) :- #0.859.
link(4,49) :- #0.57.
link(49,4) :- #0.268.
link(4,52) :- #0.496.
link(52,4) :- #0.506.
link(4,62) :- #0.027.
link(62,4) :- #0.787.
link(4,67) :- #0.609.
link(67,4) :- #0.43.
link(4,73) :- #0.224.
link(73,4) :- #0.633.
link(4,82) :- #0.909.
link(82,4) :- #0.536.
link(4,85) :- #0.245.
link(85,4) :- #0.346.
link(4,91) :- #0.499.
link(91,4) :- #0.182.
link(4,102) :- #0.32.
link(102,4) :- #0.812.
link(4,125) :- #0.593.
link(125,4) :- #0.01.
link(4,127) :- #0.637.
link(127,4) :- #0.688.
link(4,133) :- #0.604.
link(133,4) :- #0.939.
link(4,143) :- #0.116.
link(143,4) :- #0.057.
link(5,22) :- #0.185.
link(22,5) :- #0.074.
link(5,30) :- #0.928.
link(30,5) :- #0.173.
link(5,76) :- #0.711.
link(76,5) :- #0.784.
link(5,89) :- #0.432.
link(89,5) :- #0.69.
link(5,101) :- #0.891.
link(101,5) :- #0.759.
link(5,104) :- #0.479.
link(104,5) :- #0.589.
link(5,118) :- #0.42.
link(118,5) :- #0.481.
link(5,119) :- #0.585.
link(119,5) :- #0.831.
link(5,122) :- #0.083.
link(122,5) :- #0.465.
link(6,10) :- #0.527.
link(10,6) :- #0.892.
link(6,11) :- #0.651.
link(11,6) :- #0.758.
link(6,24) :- #0.64.
link(24,6) :- #0.676.
link(6,25) :- #0.018.
link(25,6) :- #0.81.
link(6,26) :- #0.225.
link(26,6) :- #0.556.
link(6,37) :- #0.249.
link(37,6) :- #0.901.
link(6,44) :- #0.466.
link(44,6) :- #0.442.
link(6,63) :- #0.799.
link(63,6) :- #0.193.
link(6,71) :- #0.427.
link(71,6) :- #0.091.
link(6,77) :- #0.894.
link(77,6) :- #0.981.
link(6,84) :- #0.65.
link(84,6) :- #0.346.
link(6,89) :- #0.644.
link(89,6) :- #0.546.
link(6,116) :- #0.673.
link(116,6) :- #0.348.
link(6,118) :- #0.549.
link(118,6) :- #0.638.
link(7,14) :- #0.045.
link(14,7) :- #0.164.
link(7,39) :- #0.781.
link(39,7) :- #0.108.
link(7,56) :- #0.012.
link(56,7) :- #0.883.
link(7,76) :- #0.492.
link(76,7) :- #0.787.
link(7,80) :- #0.624.
link(80,7) :- #0.208.
link(7,89) :- #0.042.
link(89,7) :- #0.778.
link(7,90) :- #0.164.
link(90,7) :- #0.777.
link(7,95) :- #0.831.
link(95,7) :- #0.755.
link(7,101) :- #0.365.
link(101,7) :- #0.829.
link(7,102) :- #0.293.
link(102,7) :- #0.507.
link(7,129) :- #0.984.
link(129,7) :- #0.
link(7,139) :- #0.051.
link(139,7) :- #0.366.
link(7,140) :- #0.064.
link(140,7) :- #0.888.
link(8,16) :- #0.413.
link(16,8) :- #0.449.
link(8,24) :- #0.381.
link(24,8) :- #0.605.
link(8,27) :- #0.746.
link(27,8) :- #0.225.
link(8,42) :- #0.358.
link(42,8) :- #0.985.
link(8,46) :- #0.412.
link(46,8) :- #0.125.
link(8,64) :- #0.628.
link(64,8) :- #0.811.
link(8,75) :- #0.212.
link(75,8) :- #0.984.
link(8,78) :- #0.747.
link(78,8) :- #0.617.
link(8,80) :- #0.639.
link(80,8) :- #0.599.
link(8,124) :- #0.48.
link(124,8) :- #0.275.
link(8,134) :- #0.975.
link(134,8) :- #0.684.
link(8,139) :- #0.052.
link(139,8) :- #0.847.
link(8,142) :- #0.772.
link(142,8) :- #0.809.
link(8,143) :- #0.623.
link(143,8) :- #0.676.
link(8,148) :- #0.635.
link(148,8) :- #0.384.
link(9,16) :- #0.602.
link(16,9) :- #0.54.
link(9,21) :- #0.399.
link(21,9) :- #0.505.
link(9,26) :- #0.782.
link(26,9) :- #0.072.
link(9,30) :- #0.659.
link(30,9) :- #0.12.
link(9,46) :- #0.398.
link(46,9) :- #0.647.
link(9,69) :- #0.596.
link(69,9) :- #0.912.
link(9,72) :- #0.218.
link(72,9) :- #0.352.
link(9,74) :- #0.86.
link(74,9) :- #0.951.
link(9,77) :- #0.666.
link(77,9) :- #0.586.
link(9,78) :- #0.818.
link(78,9) :- #0.159.
link(9,91) :- #0.46.
link(91,9) :- #0.508.
link(9,99) :- #0.344.
link(99,9) :- #0.229.
link(9,106) :- #0.466.
link(106,9) :- #0.271.
link(9,121) :- #0.821.
link(121,9) :- #0.702.
link(9,128) :- #0.86.
link(128,9) :- #0.38.
link(9,131) :- #0.657.
link(131,9) :- #0.499.
link(10,20) :- #0.528.
link(20,10) :- #0.908.
link(10,42) :- #0.081.
link(42,10) :- #0.484.
link(10,53) :- #0.941.
link(53,10) :- #0.001.
link(10,57) :- #0.698.
link(57,10) :- #0.405.
link(10,58) :- #0.038.
link(58,10) :- #0.319.
link(10,74) :- #0.365.
link(74,10) :- #0.306.
link(10,112) :- #0.61.
link(112,10) :- #0.639.
link(10,114) :- #0.727.
link(114,10) :- #0.771.
link(10,123) :- #0.895.
link(123,10) :- #0.143.
link(10,136) :- #0.681.
link(136,10) :- #0.959.
link(10,141) :- #0.977.
link(141,10) :- #0.177.
link(10,147) :- #0.473.
link(147,10) :- #0.591.
link(11,31) :- #0.872.
link(31,11) :- #0.95.
link(11,50) :- #0.839.
link(50,11) :- #0.989.
link(11,58) :- #0.923.
link(58,11) :- #0.526.
link(11,66) :- #0.865.
link(66,11) :- #0.005.
link(11,69) :- #0.175.
link(69,11) :- #0.009.
link(11,70) :- #0.23.
link(70,11) :- #0.558.
link(11,96) :- #0.589.
link(96,11) :- #0.342.
link(11,108) :- #0.462.
link(108,11) :- #0.457.
link(11,128) :- #0.144.
link(128,11) :- #0.155.
link(11,130) :- #0.253.
link(130,11) :- #0.794.
link(12,42) :- #0.619.
link(42,12) :- #0.439.
link(12,45) :- #0.951.
link(45,12) :- #0.158.
link(12,53) :- #0.224.
link(53,12) :- #0.978.
link(12,63) :- #0.01.
link(63,12) :- #0.157.
link(12,65) :- #0.352.
link(65,12) :- #0.959.
link(12,92) :- #0.433.
link(92,12) :- #0.635.
link(12,114) :- #0.852.
link(114,12) :- #0.336.
link(12,120) :- #0.516.
link(120,12) :- #0.827.
link(12,141) :- #0.15.
link(141,12) :- #0.504.
link(12,142) :- #0.384.
link(142,12) :- #0.646.
link(12,146) :- #0.66.
link(146,12) :- #0.03.
link(12,149) :- #0.687.
link(149,12) :- #0.84.
link(13,15) :- #0.706.
link(15,13) :- #0.184.
link(13,30) :- #0.271.
link(30,13) :- #0.978.
link(13,58) :- #0.187.
link(58,13) :- #0.306.
link(13,61) :- #0.785.
link(61,13) :- #0.733.
link(13,79) :- #0.463.
link(79,13) :- #0.751.
link(13,83) :- #0.818.
link(83,13) :- #0.678.
link(13,87) :- #0.365.
link(87,13) :- #0.758.
link(13,116) :- #0.865.
link(116,13) :- #0.734.
link(13,146) :- #0.28.
link(146,13) :- #0.781.
link(13,147) :- #0.836.
link(147,13) :- #0.074.
link(14,20) :- #0.155.
link(20,14) :- #0.11.
link(14,31) :- #0.956.
link(31,14) :- #0.132.
link(14,32) :- #0.066.
link(32,14) :- #0.163.
link(14,34) :- #0.315.
link(34,14) :- #0.56.
link(14,36) :- #0.098.
link(36,14) :- #0.302.
link(14,41) :- #0.409.
link(41,14) :- #0.31.
link(14,60) :- #0.406.
link(60,14) :- #0.986.
link(14,64) :- #0.256.
link(64,14) :- #0.471.
link(14,91) :- #0.959.
link(91,14) :- #0.278.
link(14,100) :- #0.858.
link(100,14) :- #0.068.
link(14,114) :- #0.118.
link(114,14) :- #0.303.
link(14,121) :- #0.28.
link(121,14) :- #0.536.
link(14,122) :- #0.344.
link(122,14) :- #0.895.
link(14,128) :- #0.706.
link(128,14) :- #0.295.
link(14,134) :- #0.3.
link(134,14) :- #0.128.
link(14,144) :- #0.657.
link(144,14) :- #0.356.
link(14,145) :- #0.913.
link(145,14) :- #0.4.
link(15,19) :- #0.94.
link(19,15) :- #0.738.
link(15,24) :- #0.627.
link(24,15) :- #0.456.
link(15,28) :- #0.789.
link(28,15) :- #0.038.
link(15,31) :- #0.798.
link(31,15) :- #0.998.
link(15,35) :- #0.294.
link(35,15) :- #0.611.
link(15,39) :- #0.616.
link(39,15) :- #0.085.
link(15,41) :- #0.554.
link(41,15) :- #0.649.
link(15,43) :- #0.913.
link(43,15) :- #0.144.
link(15,63) :- #0.515.
link(63,15) :- #0.054.
link(15,64) :- #0.089.
link(64,15) :- #0.468.
link(15,76) :- #0.172.
link(76,15) :- #0.427.
link(15,77) :- #0.133.
link(77,15) :- #0.299.
link(15,101) :- #0.535.
link(101,15) :- #0.997.
link(15,106) :- #0.313.
link(106,15) :- #0.883.
link(15,109) :- #0.405.
link(109,15) :- #0.732.
link(15,112) :- #0.721.
link(112,15) :- #0.104.
link(15,136) :- #0.842.
link(136,15) :- #0.809.
link(15,150) :- #0.147.
link(150,15) :- #0.746.
link(16,23) :- #0.975.
link(23,16) :- #0.589.
link(16,55) :- #0.946.
link(55,16) :- #0.062.
link(16,57) :- #0.26.
link(57,16) :- #0.231.
link(16,75) :- #0.066.
link(75,16) :- #0.999.
link(16,89) :- #0.065.
link(89,16) :- #0.296.
link(16,90) :- #0.605.
link(90,16) :- #0.099.
link(16,98) :- #0.621.
link(98,16) :- #0.486.
link(16,115) :- #0.11.
link(115,16) :- #0.083.
link(16,120) :- #0.64.
link(120,16) :- #0.958.
link(16,122) :- #0.014.
link(122,16) :- #0.597.
link(16,123) :- #0.553.
link(123,16) :- #0.104.
link(16,142) :- #0.657.
link(142,16) :- #0.209.
link(16,143) :- #0.111.
link(143,16) :- #0.022.
link(16,145) :- #0.076.
link(145,16) :- #0.807.
link(17,28) :- #0.681.
link(28,17) :- #0.005.
link(17,29) :- #0.4.
link(29,17) :- #0.272.
link(17,52) :- #0.551.
link(52,17) :- #0.842.
link(17,57) :- #0.279.
link(57,17) :- #0.845.
link(17,69) :- #0.11.
link(69,17) :- #0.562.
link(17,72) :- #0.071.
link(72,17) :- #0.007.
link(17,77) :- #0.305.
link(77,17) :- #0.063.
link(17,99) :- #0.763.
link(99,17) :- #0.863.
link(17,101) :- #0.925.
link(101,17) :- #0.927.
link(17,102) :- #0.274.
link(102,17) :- #0.684.
link(17,103) :- #0.275.
link(103,17) :- #0.13.
link(17,116) :- #0.181.
link(116,17) :- #0.329.
link(17,127) :- #0.842.
link(127,17) :- #0.674.
link(17,129) :- #0.232.
link(129,17) :- #0.959.
link(17,135) :- #0.656.
link(135,17) :- #0.569.
link(18,32) :- #0.686.
link(32,18) :- #0.796.
link(18,41) :- #0.823.
link(41,18) :- #0.908.
link(18,67) :- #0.394.
link(67,18) :- #0.268.
link(18,86) :- #0.132.
link(86,18) :- #0.741.
link(18,87) :- #0.249.
link(87,18) :- #0.982.
link(18,100) :- #0.653.
link(100,18) :- #0.335.
link(18,111) :- #0.617.
link(111,18) :- #0.516.
link(18,126) :- #0.836.
link(126,18) :- #0.702.
link(18,138) :- #0.453.
link(138,18) :- #0.435.
link(18,141) :- #0.017.
link(141,18) :- #0.445.
link(18,143) :- #0.08.
link(143,18) :- #0.646.
link(19,27) :- #0.454.
link(27,19) :- #0.394.
link(19,32) :- #0.09.
link(32,19) :- #0.609.
link(19,33) :- #0.564.
link(33,19) :- #0.87.
link(19,37) :- #0.17.
link(37,19) :- #0.127.
link(19,48) :- #0.932.
link(48,19) :- #0.887.
link(19,52) :- #0.136.
link(52,19) :- #0.672.
link(19,60) :- #0.823.
link(60,19) :- #0.188.
link(19,108) :- #0.327.
link(108,19) :- #0.257.
link(19,115) :- #0.144.
link(115,19) :- #0.575.
link(19,118) :- #0.17.
link(118,19) :- #0.974.
link(19,128) :- #0.607.
link(128,19) :- #0.937.
link(19,135) :- #0.251.
link(135,19) :- #0.716.
link(19,148) :- #0.776.
link(148,19) :- #0.253.
link(20,61) :- #0.872.
link(61,20) :- #0.689.
link(20,63) :- #0.69.
link(63,20) :- #0.354.
link(20,70) :- #0.915.
link(70,20) :- #0.739.
link(20,84) :- #0.391.
link(84,20) :- #0.767.
link(20,144) :- #0.036.
link(144,20) :- #0.774.
link(21,34) :- #0.178.
link(34,21) :- #0.407.
link(21,40) :- #0.562.
link(40,21) :- #0.829.
link(21,46) :- #0.332.
link(46,21) :- #0.501.
link(21,58) :- #0.422.
link(58,21) :- #0.061.
link(21,76) :- #0.919.
link(76,21) :- #0.039.
link(21,86) :- #0.21.
link(86,21) :- #0.988.
link(21,94) :- #0.671.
link(94,21) :- #0.315.
link(21,97) :- #0.861.
link(97,21) :- #0.007.
link(21,101) :- #0.757.
link(101,21) :- #0.109.
link(21,102) :- #0.263.
link(102,21) :- #0.022.
link(21,103) :- #0.894.
link(103,21) :- #0.661.
link(21,128) :- #0.249.
link(128,21) :- #0.323.
link(21,133) :- #0.183.
link(133,21) :- #0.451.
link(21,139) :- #0.455.
link(139,21) :- #0.588.
link(22,38) :- #0.386.
link(38,22) :- #0.515.
link(22,41) :- #0.476.
link(41,22) :- #0.485.
link(22,77) :- #0.181.
link(77,22) :- #0.622.
link(22,98) :- #0.733.
link(98,22) :- #0.321.
link(22,108) :- #0.069.
link(108,22) :- #0.471.
link(22,120) :- #0.844.
link(120,22) :- #0.923.
link(22,132) :- #0.66.
link(132,22) :- #0.357.
link(22,134) :- #0.676.
link(134,22) :- #0.547.
link(23,27) :- #0.748.
link(27,23) :- #0.769.
link(23,28) :- #0.266.
link(28,23) :- #0.486.
link(23,64) :- #0.896.
link(64,23) :- #0.514.
link(23,65) :- #0.682.
link(65,23) :- #0.79.
link(23,86) :- #0.788.
link(86,23) :- #0.338.
link(23,93) :- #0.356.
link(93,23) :- #0.652.
link(23,94) :- #0.823.
link(94,23) :- #0.271.
link(23,107) :- #0.494.
link(107,23) :- #0.547.
link(23,115) :- #0.794.
link(115,23) :- #0.911.
link(23,124) :- #0.583.
link(124,23) :- #0.82.
link(23,130) :- #0.861.
link(130,23) :- #0.676.
link(23,131) :- #0.571.
link(131,23) :- #0.557.
link(23,138) :- #0.837.
link(138,23) :- #0.118.
link(23,142) :- #0.766.
link(142,23) :- #0.957.
link(23,144) :- #0.188.
link(144,23) :- #0.18.
link(24,30) :- #0.456.
link(30,24) :- #0.121.
link(24,32) :- #0.615.
link(32,24) :- #0.054.
link(24,38) :- #0.573.
link(38,24) :- #0.792.
link(24,44) :- #0.029.
link(44,24) :- #0.695.
link(24,53) :- #0.557.
link(53,24) :- #0.833.
link(24,60) :- #0.641.
link(60,24) :- #0.172.
link(24,62) :- #0.14.
link(62,24) :- #0.751.
link(24,65) :- #0.572.
link(65,24) :- #0.831.
link(24,68) :- #0.7.
link(68,24) :- #0.483.
link(24,83) :- #0.192.
link(83,24) :- #0.545.
link(24,84) :- #0.549.
link(84,24) :- #0.827.
link(24,90) :- #0.582.
link(90,24) :- #0.383.
link(24,91) :- #0.399.
link(91,24) :- #0.773.
link(24,98) :- #0.292.
link(98,24) :- #0.436.
link(24,100) :- #0.735.
link(100,24) :- #0.604.
link(24,102) :- #0.661.
link(102,24) :- #0.873.
link(24,103) :- #0.037.
link(103,24) :- #0.923.
link(24,109) :- #0.427.
link(109,24) :- #0.885.
link(24,114) :- #0.319.
link(114,24) :- #0.762.
link(24,119) :- #0.347.
link(119,24) :- #0.907.
link(24,120) :- #0.054.
link(120,24) :- #0.211.
link(24,126) :- #0.06.
link(126,24) :- #0.467.
link(24,149) :- #0.96.
link(149,24) :- #0.445.
link(25,27) :- #0.947.
link(27,25) :- #0.386.
link(25,29) :- #0.796.
link(29,25) :- #0.971.
link(25,32) :- #0.253.
link(32,25) :- #0.711.
link(25,40) :- #0.112.
link(40,25) :- #0.053.
link(25,46) :- #0.071.
link(46,25) :- #0.166.
link(25,77) :- #0.906.
link(77,25) :- #0.614.
link(25,82) :- #0.873.
link(82,25) :- #0.693.
link(25,85) :- #0.473.
link(85,25) :- #0.15.
link(25,103) :- #0.317.
link(103,25) :- #0.577.
link(25,139) :- #0.991.
link(139,25) :- #0.778.
link(25,147) :- #0.92.
link(147,25) :- #0.18.
link(25,148) :- #0.977.
link(148,25) :- #0.399.
link(26,39) :- #0.47.
link(39,26) :- #0.323.
link(26,51) :- #0.842.
link(51,26) :- #0.809.
link(26,60) :- #0.502.
link(60,26) :- #0.334.
link(26,71) :- #0.941.
link(71,26) :- #0.646.
link(26,94) :- #0.859.
link(94,26) :- #0.691.
link(26,97) :- #0.666.
link(97,26) :- #0.391.
link(26,113) :- #0.833.
link(113,26) :- #0.361.
link(26,119) :- #0.835.
link(119,26) :- #0.55.
link(26,122) :- #0.243.
link(122,26) :- #0.653.
link(26,126) :- #0.626.
link(126,26) :- #0.293.
link(26,137) :- #0.453.
link(137,26) :- #0.727.
link(26,138) :- #0.215.
link(138,26) :- #0.42.
link(27,38) :- #0.689.
link(38,27) :- #0.406.
link(27,43) :- #0.482.
link(43,27) :- #0.872.
link(27,52) :- #0.54.
link(52,27) :- #0.48.
link(27,54) :- #0.538.
link(54,27) :- #0.289.
link(27,56) :- #0.462.
link(56,27) :- #0.128.
link(27,60) :- #0.287.
link(60,27) :- #0.207.
link(27,94) :- #0.777.
link(94,27) :- #0.015.
link(27,102) :- #0.947.
link(102,27) :- #0.539.
link(27,103) :- #0.827.
link(103,27) :- #0.26.
link(27,127) :- #0.888.
link(127,27) :- #0.451.
link(28,36) :- #0.758.
link(36,28) :- #0.115.
link(28,46) :- #0.616.
link(46,28) :- #0.847.
link(28,60) :- #0.03.
link(60,28) :- #0.384.
link(28,81) :- #0.467.
link(81,28) :- #0.283.
link(28,99) :- #0.322.
link(99,28) :- #0.435.
link(28,104) :- #0.93.
link(104,28) :- #0.583.
link(28,115) :- #0.459.
link(115,28) :- #0.895.
link(28,119) :- #0.453.
link(119,28) :- #0.154.
link(28,124) :- #0.519.
link(124,28) :- #0.687.
link(28,126) :- #0.58.
link(126,28) :- #0.258.
link(28,149) :- #0.114.
link(149,28) :- #0.987.
link(29,31) :- #0.944.
link(31,29) :- #0.325.
link(29,34) :- #0.132.
link(34,29) :- #0.66.
link(29,37) :- #0.656.
link(37,29) :- #0.111.
link(29,68) :- #0.096.
link(68,29) :- #0.135.
link(29,78) :- #0.192.
link(78,29) :- #0.601.
link(29,92) :- #0.825.
link(92,29) :- #0.85.
link(29,93) :- #0.937.
link(93,29) :- #0.401.
link(29,116) :- #0.744.
link(116,29) :- #0.163.
link(29,125) :- #0.789.
link(125,29) :- #0.05.
link(29,133) :- #0.002.
link(133,29) :- #0.948.
link(30,40) :- #0.89.
link(40,30) :- #0.536.
link(30,51) :- #0.462.
link(51,30) :- #0.212.
link(30,60) :- #0.977.
link(60,30) :- #0.906.
link(30,71) :- #0.416.
link(71,30) :- #0.62.
link(30,86) :- #0.32.
link(86,30) :- #0.739.
link(30,95) :- #0.997.
link(95,30) :- #0.39.
link(30,104) :- #0.851.
link(104,30) :- #0.356.
link(30,105) :- #0.421.
link(105,30) :- #0.032.
link(30,113) :- #0.254.
link(113,30) :- #0.538.
link(30,125) :- #0.148.
link(125,30) :- #0.652.
link(31,41) :- #0.343.
link(41,31) :- #0.877.
link(31,48) :- #0.504.
link(48,31) :- #0.348.
link(31,51) :- #0.352.
link(51,31) :- #0.012.
link(31,64) :- #0.444.
link(64,31) :- #0.528.
link(31,65) :- #0.54.
link(65,31) :- #0.315.
link(31,79) :- #0.392.
link(79,31) :- #0.004.
link(31,88) :- #0.111.
link(88,31) :- #0.403.
link(31,89) :- #0.329.
link(89,31) :- #0.614.
link(31,94) :- #0.298.
link(94,31) :- #0.966.
link(31,101) :- #0.613.
link(101,31) :- #0.881.
link(31,109) :- #0.167.
link(109,31) :- #0.369.
link(31,112) :- #0.782.
link(112,31) :- #0.38.
link(31,114) :- #0.118.
link(114,31) :- #0.49.
link(31,132) :- #0.858.
link(132,31) :- #0.659.
link(31,139) :- #0.248.
link(139,31) :- #0.906.
link(31,149) :- #0.107.
link(149,31) :- #0.72.
link(32,54) :- #0.951.
link(54,32) :- #0.636.
link(32,80) :- #0.851.
link(80,32) :- #0.51.
link(32,83) :- #0.713.
link(83,32) :- #0.722.
link(32,84) :- #0.834.
link(84,32) :- #0.858.
link(32,87) :- #0.932.
link(87,32) :- #0.356.
link(32,106) :- #0.748.
link(106,32) :- #0.004.
link(32,145) :- #0.153.
link(145,32) :- #0.622.
link(33,43) :- #0.275.
link(43,33) :- #0.66.
link(33,90) :- #0.04.
link(90,33) :- #0.118.
link(33,101) :- #0.268.
link(101,33) :- #0.547.
link(33,112) :- #0.244.
link(112,33) :- #0.302.
link(33,126) :- #0.334.
link(126,33) :- #0.158.
link(33,131) :- #0.329.
link(131,33) :- #0.919.
link(33,133) :- #0.845.
link(133,33) :- #0.934.
link(33,140) :- #0.879.
link(140,33) :- #0.793.
link(33,149) :- #0.541.
link(149,33) :- #0.097.
link(34,46) :- #0.708.
link(46,34) :- #0.718.
link(34,63) :- #0.125.
link(63,34) :- #0.641.
link(34,67) :- #0.634.
link(67,34) :- #0.679.
link(34,68) :- #0.178.
link(68,34) :- #0.604.
link(34,89) :- #0.178.
link(89,34) :- #0.839.
link(34,106) :- #0.997.
link(106,34) :- #0.269.
link(34,120) :- #0.785.
link(120,34) :- #0.132.
link(34,128) :- #0.539.
link(128,34) :- #0.681.
link(34,147) :- #0.089.
link(147,34) :- #0.14.
link(35,40) :- #0.221.
link(40,35) :- #0.169.
link(35,41) :- #0.418.
link(41,35) :- #0.754.
link(35,43) :- #0.072.
link(43,35) :- #0.07.
link(35,61) :- #0.233.
link(61,35) :- #0.621.
link(35,89) :- #0.389.
link(89,35) :- #0.646.
link(35,94) :- #0.661.
link(94,35) :- #0.188.
link(35,112) :- #0.152.
link(112,35) :- #0.173.
link(35,113) :- #0.548.
link(113,35) :- #0.504.
link(35,125) :- #0.614.
link(125,35) :- #0.299.
link(35,126) :- #0.697.
link(126,35) :- #0.472.
link(35,128) :- #0.734.
link(128,35) :- #0.149.
link(35,129) :- #0.772.
link(129,35) :- #0.694.
link(36,37) :- #0.873.
link(37,36) :- #0.979.
link(36,39) :- #0.014.
link(39,36) :- #0.157.
link(36,56) :- #0.96.
link(56,36) :- #0.001.
link(36,70) :- #0.657.
link(70,36) :- #0.004.
link(36,83) :- #0.366.
link(83,36) :- #0.593.
link(36,92) :- #0.306.
link(92,36) :- #0.26.
link(36,127) :- #0.101.
link(127,36) :- #0.464.
link(36,129) :- #0.24.
link(129,36) :- #0.443.
link(36,137) :- #0.596.
link(137,36) :- #0.458.
link(36,143) :- #0.528.
link(143,36) :- #0.262.
link(36,147) :- #0.866.
link(147,36) :- #0.753.
link(37,45) :- #0.234.
link(45,37) :- #0.395.
link(37,49) :- #0.169.
link(49,37) :- #0.209.
link(37,50) :- #0.889.
link(50,37) :- #0.447.
link(37,75) :- #0.201.
link(75,37) :- #0.798.
link(37,76) :- #0.827.
link(76,37) :- #0.515.
link(37,82) :- #0.401.
link(82,37) :- #0.313.
link(37,94) :- #0.975.
link(94,37) :- #0.089.
link(37,113) :- #0.197.
link(113,37) :- #0.41.
link(37,120) :- #0.024.
link(120,37) :- #0.752.
link(37,150) :- #0.969.
link(150,37) :- #0.097.
link(38,48) :- #0.772.
link(48,38) :- #0.164.
link(38,61) :- #0.612.
link(61,38) :- #0.937.
link(38,62) :- #0.22.
link(62,38) :- #0.957.
link(38,68) :- #0.756.
link(68,38) :- #0.823.
link(38,72) :- #0.091.
link(72,38) :- #0.492.
link(38,75) :- #0.821.
link(75,38) :- #0.35.
link(38,77) :- #0.871.
link(77,38) :- #0.196.
link(38,92) :- #0.943.
link(92,38) :- #0.744.
link(38,108) :- #0.784.
link(108,38) :- #0.487.
link(38,124) :- #0.701.
link(124,38) :- #0.399.
link(38,129) :- #0.956.
link(129,38) :- #0.005.
link(38,130) :- #0.194.
link(130,38) :- #0.271.
link(38,134) :- #0.186.
link(134,38) :- #0.969.
link(38,139) :- #0.104.
link(139,38) :- #0.398.
link(39,43) :- #0.442.
link(43,39) :- #0.518.
link(39,44) :- #0.453.
link(44,39) :- #0.343.
link(39,48) :- #0.414.
link(48,39) :- #0.82.
link(39,50) :- #0.05.
link(50,39) :- #0.453.
link(39,53) :- #0.101.
link(53,39) :- #0.604.
link(39,55) :- #0.494.
link(55,39) :- #0.848.
link(39,79) :- #0.514.
link(79,39) :- #0.619.
link(39,121) :- #0.736.
link(121,39) :- #0.477.
link(39,144) :- #0.846.
link(144,39) :- #0.909.
link(39,148) :- #0.836.
link(148,39) :- #0.475.
link(40,51) :- #0.959.
link(51,40) :- #0.771.
link(40,71) :- #0.762.
link(71,40) :- #0.089.
link(40,88) :- #0.21.
link(88,40) :- #0.947.
link(40,122) :- #0.1.
link(122,40) :- #0.696.
link(40,132) :- #0.666.
link(132,40) :- #0.064.
link(40,147) :- #0.738.
link(147,40) :- #0.631.
link(41,43) :- #0.731.
link(43,41) :- #0.217.
link(41,62) :- #0.135.
link(62,41) :- #0.646.
link(41,74) :- #0.539.
link(74,41) :- #0.03.
link(41,75) :- #0.556.
link(75,41) :- #0.847.
link(41,83) :- #0.765.
link(83,41) :- #0.631.
link(41,107) :- #0.52.
link(107,41) :- #0.592.
link(41,108) :- #0.503.
link(108,41) :- #0.97.
link(41,138) :- #0.193.
link(138,41) :- #0.448.
link(41,140) :- #0.689.
link(140,41) :- #0.441.
link(42,61) :- #0.152.
link(61,42) :- #0.286.
link(42,69) :- #0.15.
link(69,42) :- #0.001.
link(42,71) :- #0.837.
link(71,42) :- #0.672.
link(42,80) :- #0.563.
link(80,42) :- #0.219.
link(42,91) :- #0.672.
link(91,42) :- #0.978.
link(42,92) :- #0.415.
link(92,42) :- #0.041.
link(42,102) :- #0.516.
link(102,42) :- #0.195.
link(42,111) :- #0.043.
link(111,42) :- #0.392.
link(42,129) :- #0.418.
link(129,42) :- #0.057.
link(42,131) :- #0.123.
link(131,42) :- #0.191.
link(42,132) :- #0.172.
link(132,42) :- #0.197.
link(42,133) :- #0.749.
link(133,42) :- #0.299.
link(42,140) :- #0.451.
link(140,42) :- #0.31.
link(43,77) :- #0.9.
link(77,43) :- #0.614.
link(43,85) :- #0.296.
link(85,43) :- #0.172.
link(43,112) :- #0.367.
link(112,43) :- #0.717.
link(43,122) :- #0.956.
link(122,43) :- #0.553.
link(43,125) :- #0.65.
link(125,43) :- #0.606.
link(43,150) :- #0.83.
link(150,43) :- #0.122.
link(44,55) :- #0.453.
link(55,44) :- #0.336.
link(44,58) :- #0.967.
link(58,44) :- #0.96.
link(44,68) :- #0.76.
link(68,44) :- #0.241.
link(44,79) :- #0.021.
link(79,44) :- #0.085.
link(44,95) :- #0.299.
link(95,44) :- #0.724.
link(44,124) :- #0.945.
link(124,44) :- #0.766.
link(45,47) :- #0.265.
link(47,45) :- #0.672.
link(45,52) :- #0.326.
link(52,45) :- #0.588.
link(45,56) :- #0.246.
link(56,45) :- #0.891.
link(45,60) :- #0.219.
link(60,45) :- #0.134.
link(45,66) :- #0.405.
link(66,45) :- #0.875.
link(45,84) :- #0.238.
link(84,45) :- #0.469.
link(45,120) :- #0.498.
link(120,45) :- #0.705.
link(45,135) :- #0.646.
link(135,45) :- #0.891.
link(45,139) :- #0.434.
link(139,45) :- #0.413.
link(45,148) :- #0.148.
link(148,45) :- #0.721.
link(46,48) :- #0.864.
link(48,46) :- #0.034.
link(46,51) :- #0.183.
link(51,46) :- #0.528.
link(46,52) :- #0.063.
link(52,46) :- #0.551.
link(46,65) :- #0.943.
link(65,46) :- #0.448.
link(46,68) :- #0.81.
link(68,46) :- #0.696.
link(46,69) :- #0.209.
link(69,46) :- #0.324.
link(46,74) :- #0.625.
link(74,46) :- #0.913.
link(46,77) :- #0.074.
link(77,46) :- #0.744.
link(46,87) :- #0.905.
link(87,46) :- #0.994.
link(46,95) :- #0.555.
link(95,46) :- #0.703.
link(46,96) :- #0.894.
link(96,46) :- #0.686.
link(46,107) :- #0.254.
link(107,46) :- #0.368.
link(46,108) :- #0.993.
link(108,46) :- #0.856.
link(46,113) :- #0.222.
link(113,46) :- #0.969.
link(46,138) :- #0.536.
link(138,46) :- #0.297.
link(47,53) :- #0.774.
link(53,47) :- #0.321.
link(47,78) :- #0.469.
link(78,47) :- #0.386.
link(47,89) :- #0.63.
link(89,47) :- #0.393.
link(47,111) :- #0.289.
link(111,47) :- #0.37.
link(47,132) :- #0.671.
link(132,47) :- #0.082.
link(47,135) :- #0.566.
link(135,47) :- #0.926.
link(47,147) :- #0.114.
link(147,47) :- #0.171.
link(48,49) :- #0.348.
link(49,48) :- #0.746.
link(48,60) :- #0.618.
link(60,48) :- #0.047.
link(48,66) :- #0.931.
link(66,48) :- #0.57.
link(48,68) :- #0.068.
link(68,48) :- #0.224.
link(48,72) :- #0.867.
link(72,48) :- #0.295.
link(48,87) :- #0.47.
link(87,48) :- #0.929.
link(48,99) :- #0.624.
link(99,48) :- #0.443.
link(48,116) :- #0.775.
link(116,48) :- #0.893.
link(48,118) :- #0.158.
link(118,48) :- #0.299.
link(48,142) :- #0.853.
link(142,48) :- #0.236.
link(48,148) :- #0.319.
link(148,48) :- #0.953.
link(48,149) :- #0.523.
link(149,48) :- #0.567.
link(49,52) :- #0.945.
link(52,49) :- #0.177.
link(49,91) :- #0.031.
link(91,49) :- #0.691.
link(49,112) :- #0.704.
link(112,49) :- #0.653.
link(49,124) :- #0.006.
link(124,49) :- #0.989.
link(49,129) :- #0.988.
link(129,49) :- #0.438.
link(49,134) :- #0.597.
link(134,49) :- #0.428.
link(49,137) :- #0.992.
link(137,49) :- #0.316.
link(49,147) :- #0.388.
link(147,49) :- #0.487.
link(50,57) :- #0.496.
link(57,50) :- #0.819.
link(50,68) :- #0.155.
link(68,50) :- #0.057.
link(50,102) :- #0.017.
link(102,50) :- #0.322.
link(50,128) :- #0.669.
link(128,50) :- #0.646.
link(50,139) :- #0.013.
link(139,50) :- #0.72.
link(50,142) :- #0.303.
link(142,50) :- #0.263.
link(50,147) :- #0.584.
link(147,50) :- #0.468.
link(51,54) :- #0.119.
link(54,51) :- #0.03.
link(51,123) :- #0.871.
link(123,51) :- #0.191.
link(51,142) :- #0.664.
link(142,51) :- #0.391.
link(51,143) :- #0.653.
link(143,51) :- #0.882.
link(52,73) :- #0.642.
link(73,52) :- #0.372.
link(52,75) :- #0.901.
link(75,52) :- #0.955.
link(52,90) :- #0.639.
link(90,52) :- #0.642.
link(52,92) :- #0.418.
link(92,52) :- #0.802.
link(52,112) :- #0.909.
link(112,52) :- #0.306.
link(52,124) :- #0.793.
link(124,52) :- #0.141.
link(52,132) :- #0.85.
link(132,52) :- #0.823.
link(53,57) :- #0.569.
link(57,53) :- #0.597.
link(53,77) :- #0.943.
link(77,53) :- #0.106.
link(53,82) :- #0.412.
link(82,53) :- #0.684.
link(53,107) :- #0.944.
link(107,53) :- #0.332.
link(53,109) :- #0.842.
link(109,53) :- #0.563.
link(53,111) :- #0.675.
link(111,53) :- #0.089.
link(53,112) :- #0.407.
link(112,53) :- #0.638.
link(53,114) :- #0.549.
link(114,53) :- #0.969.
link(53,124) :- #0.454.
link(124,53) :- #0.7.
link(53,137) :- #0.639.
link(137,53) :- #0.308.
link(53,148) :- #0.647.
link(148,53) :- #0.957.
link(53,149) :- #0.692.
link(149,53) :- #0.422.
link(53,150) :- #0.205.
link(150,53) :- #0.9.
link(54,56) :- #0.602.
link(56,54) :- #0.919.
link(54,78) :- #0.392.
link(78,54) :- #0.659.
link(54,118) :- #0.914.
link(118,54) :- #0.789.
link(54,122) :- #0.798.
link(122,54) :- #0.694.
link(55,58) :- #0.408.
link(58,55) :- #0.125.
link(55,63) :- #0.593.
link(63,55) :- #0.677.
link(55,69) :- #0.646.
link(69,55) :- #0.29.
link(55,71) :- #0.421.
link(71,55) :- #0.02.
link(55,77) :- #0.747.
link(77,55) :- #0.922.
link(55,78) :- #0.414.
link(78,55) :- #0.105.
link(55,83) :- #0.174.
link(83,55) :- #0.398.
link(55,86) :- #0.753.
link(86,55) :- #0.24.
link(55,96) :- #0.857.
link(96,55) :- #0.977.
link(55,101) :- #0.865.
link(101,55) :- #0.
link(55,105) :- #0.614.
link(105,55) :- #0.004.
link(55,106) :- #0.325.
link(106,55) :- #0.995.
link(55,120) :- #0.414.
link(120,55) :- #0.813.
link(55,121) :- #0.438.
link(121,55) :- #0.38.
link(55,125) :- #0.94.
link(125,55) :- #0.836.
link(55,145) :- #0.608.
link(145,55) :- #0.35.
link(55,148) :- #0.963.
link(148,55) :- #0.171.
link(56,72) :- #0.775.
link(72,56) :- #0.556.
link(56,78) :- #0.997.
link(78,56) :- #0.299.
link(56,89) :- #0.295.
link(89,56) :- #0.067.
link(56,92) :- #0.317.
link(92,56) :- #0.824.
link(56,123) :- #0.662.
link(123,56) :- #0.498.
link(57,61) :- #0.847.
link(61,57) :- #0.106.
link(57,62) :- #0.974.
link(62,57) :- #0.807.
link(57,67) :- #0.258.
link(67,57) :- #0.37.
link(57,72) :- #0.142.
link(72,57) :- #0.48.
link(57,75) :- #0.542.
link(75,57) :- #0.545.
link(57,78) :- #0.825.
link(78,57) :- #0.483.
link(57,80) :- #0.749.
link(80,57) :- #0.502.
link(57,90) :- #0.1.
link(90,57) :- #0.866.
link(57,101) :- #0.59.
link(101,57) :- #0.999.
link(57,102) :- #0.991.
link(102,57) :- #0.009.
link(57,119) :- #0.608.
link(119,57) :- #0.045.
link(57,147) :- #0.465.
link(147,57) :- #0.533.
link(58,62) :- #0.989.
link(62,58) :- #0.382.
link(58,74) :- #0.024.
link(74,58) :- #0.206.
link(58,79) :- #0.252.
link(79,58) :- #0.634.
link(58,83) :- #0.081.
link(83,58) :- #0.099.
link(58,87) :- #0.658.
link(87,58) :- #0.498.
link(58,120) :- #0.165.
link(120,58) :- #0.676.
link(58,128) :- #0.709.
link(128,58) :- #0.222.
link(59,63) :- #0.375.
link(63,59) :- #0.783.
link(59,68) :- #0.525.
link(68,59) :- #0.906.
link(59,71) :- #0.238.
link(71,59) :- #0.051.
link(59,73) :- #0.532.
link(73,59) :- #0.739.
link(59,88) :- #0.184.
link(88,59) :- #0.521.
link(59,121) :- #0.305.
link(121,59) :- #0.801.
link(59,124) :- #0.643.
link(124,59) :- #0.126.
link(59,129) :- #0.666.
link(129,59) :- #0.157.
link(59,139) :- #0.493.
link(139,59) :- #0.632.
link(59,145) :- #0.228.
link(145,59) :- #0.586.
link(60,63) :- #0.252.
link(63,60) :- #0.07.
link(60,64) :- #0.593.
link(64,60) :- #0.866.
link(60,67) :- #0.374.
link(67,60) :- #0.211.
link(60,78) :- #0.577.
link(78,60) :- #0.233.
link(60,79) :- #0.021.
link(79,60) :- #0.034.
link(60,94) :- #0.25.
link(94,60) :- #0.759.
link(60,114) :- #0.108.
link(114,60) :- #0.167.
link(60,120) :- #0.929.
link(120,60) :- #0.32.
link(60,123) :- #0.788.
link(123,60) :- #0.247.
link(61,69) :- #0.351.
link(69,61) :- #0.675.
link(61,70) :- #0.368.
link(70,61) :- #0.731.
link(61,80) :- #0.42.
link(80,61) :- #0.598.
link(61,90) :- #0.017.
link(90,61) :- #0.89.
link(61,99) :- #0.722.
link(99,61) :- #0.872.
link(61,132) :- #0.291.
link(132,61) :- #0.113.
link(61,147) :- #0.158.
link(147,61) :- #0.275.
link(62,65) :- #0.246.
link(65,62) :- #0.827.
link(62,90) :- #0.183.
link(90,62) :- #0.013.
link(62,91) :- #0.493.
link(91,62) :- #0.916.
link(62,107) :- #0.202.
link(107,62) :- #0.751.
link(62,111) :- #0.582.
link(111,62) :- #0.59.
link(62,117) :- #0.315.
link(117,62) :- #0.765.
link(62,119) :- #0.374.
link(119,62) :- #0.864.
link(62,120) :- #0.112.
link(120,62) :- #0.442.
link(62,127) :- #0.898.
link(127,62) :- #0.833.
link(62,150) :- #0.188.
link(150,62) :- #0.457.
link(63,66) :- #0.553.
link(66,63) :- #0.351.
link(63,70) :- #0.169.
link(70,63) :- #0.418.
link(63,72) :- #0.295.
link(72,63) :- #0.843.
link(63,106) :- #0.753.
link(106,63) :- #0.42.
link(63,138) :- #0.907.
link(138,63) :- #0.377.
link(63,142) :- #0.808.
link(142,63) :- #0.054.
link(64,86) :- #0.998.
link(86,64) :- #0.607.
link(64,122) :- #0.118.
link(122,64) :- #0.562.
link(64,124) :- #0.485.
link(124,64) :- #0.417.
link(64,130) :- #0.654.
link(130,64) :- #0.561.
link(64,132) :- #0.107.
link(132,64) :- #0.348.
link(64,133) :- #0.41.
link(133,64) :- #0.467.
link(64,143) :- #0.512.
link(143,64) :- #0.903.
link(65,67) :- #0.862.
link(67,65) :- #0.273.
link(65,80) :- #0.502.
link(80,65) :- #0.418.
link(66,90) :- #0.227.
link(90,66) :- #0.766.
link(66,97) :- #0.816.
link(97,66) :- #0.035.
link(66,100) :- #0.089.
link(100,66) :- #0.813.
link(66,102) :- #0.787.
link(102,66) :- #0.922.
link(66,107) :- #0.977.
link(107,66) :- #0.875.
link(66,111) :- #0.26.
link(111,66) :- #0.837.
link(66,127) :- #0.556.
link(127,66) :- #0.824.
link(67,68) :- #0.369.
link(68,67) :- #0.473.
link(67,83) :- #0.537.
link(83,67) :- #0.189.
link(67,86) :- #0.189.
link(86,67) :- #0.484.
link(67,92) :- #0.109.
link(92,67) :- #0.776.
link(67,106) :- #0.625.
link(106,67) :- #0.033.
link(67,108) :- #0.75.
link(108,67) :- #0.727.
link(67,114) :- #0.478.
link(114,67) :- #0.161.
link(67,115) :- #0.119.
link(115,67) :- #0.463.
link(67,117) :- #0.648.
link(117,67) :- #0.887.
link(67,128) :- #0.24.
link(128,67) :- #0.797.
link(67,129) :- #0.486.
link(129,67) :- #0.921.
link(67,130) :- #0.315.
link(130,67) :- #0.21.
link(67,138) :- #0.257.
link(138,67) :- #0.408.
link(67,141) :- #0.904.
link(141,67) :- #0.699.
link(67,143) :- #0.129.
link(143,67) :- #0.267.
link(68,78) :- #0.416.
link(78,68) :- #0.461.
link(68,113) :- #0.788.
link(113,68) :- #0.426.
link(68,121) :- #0.242.
link(121,68) :- #0.646.
link(68,125) :- #0.307.
link(125,68) :- #0.495.
link(68,144) :- #0.48.
link(144,68) :- #0.405.
link(69,71) :- #0.66.
link(71,69) :- #0.685.
link(69,72) :- #0.356.
link(72,69) :- #0.064.
link(69,110) :- #0.145.
link(110,69) :- #0.13.
link(69,119) :- #0.447.
link(119,69) :- #0.496.
link(69,126) :- #0.914.
link(126,69) :- #0.105.
link(69,138) :- #0.069.
link(138,69) :- #0.184.
link(69,141) :- #0.832.
link(141,69) :- #0.157.
link(70,72) :- #0.267.
link(72,70) :- #0.267.
link(70,87) :- #0.676.
link(87,70) :- #0.278.
link(70,88) :- #0.097.
link(88,70) :- #0.353.
link(70,89) :- #0.387.
link(89,70) :- #0.117.
link(70,90) :- #0.343.
link(90,70) :- #0.627.
link(70,99) :- #0.995.
link(99,70) :- #0.936.
link(70,100) :- #0.647.
link(100,70) :- #0.841.
link(70,120) :- #0.333.
link(120,70) :- #0.579.
link(70,137) :- #0.741.
link(137,70) :- #0.902.
link(70,145) :- #0.631.
link(145,70) :- #0.905.
link(70,148) :- #0.097.
link(148,70) :- #0.981.
link(71,75) :- #0.088.
link(75,71) :- #0.91.
link(71,87) :- #0.792.
link(87,71) :- #0.252.
link(71,99) :- #0.119.
link(99,71) :- #0.411.
link(71,105) :- #0.672.
link(105,71) :- #0.361.
link(71,109) :- #0.858.
link(109,71) :- #0.779.
link(71,119) :- #0.24.
link(119,71) :- #0.737.
link(71,132) :- #0.893.
link(132,71) :- #0.475.
link(71,141) :- #0.136.
link(141,71) :- #0.473.
link(71,145) :- #0.966.
link(145,71) :- #0.309.
link(72,79) :- #0.055.
link(79,72) :- #0.211.
link(72,94) :- #0.347.
link(94,72) :- #0.523.
link(72,104) :- #0.566.
link(104,72) :- #0.615.
link(72,111) :- #0.847.
link(111,72) :- #0.353.
link(72,125) :- #0.4.
link(125,72) :- #0.461.
link(72,129) :- #0.434.
link(129,72) :- #0.267.
link(72,150) :- #0.204.
link(150,72) :- #0.111.
link(73,90) :- #0.361.
link(90,73) :- #0.925.
link(73,92) :- #0.005.
link(92,73) :- #0.448.
link(73,106) :- #0.83.
link(106,73) :- #0.398.
link(73,107) :- #0.266.
link(107,73) :- #0.867.
link(73,114) :- #0.719.
link(114,73) :- #0.435.
link(73,118) :- #0.381.
link(118,73) :- #0.323.
link(73,122) :- #0.746.
link(122,73) :- #0.59.
link(73,130) :- #0.292.
link(130,73) :- #0.114.
link(73,139) :- #0.068.
link(139,73) :- #0.998.
link(74,80) :- #0.877.
link(80,74) :- #0.892.
link(74,81) :- #0.165.
link(81,74) :- #0.86.
link(74,83) :- #0.322.
link(83,74) :- #0.7.
link(74,95) :- #0.673.
link(95,74) :- #0.757.
link(74,96) :- #0.608.
link(96,74) :- #0.571.
link(74,105) :- #0.688.
link(105,74) :- #0.388.
link(75,78) :- #0.732.
link(78,75) :- #0.688.
link(75,92) :- #0.756.
link(92,75) :- #0.862.
link(75,99) :- #0.627.
link(99,75) :- #0.459.
link(75,101) :- #0.181.
link(101,75) :- #0.476.
link(75,102) :- #0.045.
link(102,75) :- #0.096.
link(75,119) :- #0.248.
link(119,75) :- #0.457.
link(75,121) :- #0.56.
link(121,75) :- #0.058.
link(75,126) :- #0.084.
link(126,75) :- #0.443.
link(75,133) :- #0.408.
link(133,75) :- #0.56.
link(75,138) :- #0.104.
link(138,75) :- #0.808.
link(75,144) :- #0.106.
link(144,75) :- #0.343.
link(76,84) :- #0.631.
link(84,76) :- #0.921.
link(76,85) :- #0.702.
link(85,76) :- #0.375.
link(76,101) :- #0.396.
link(101,76) :- #0.487.
link(76,107) :- #0.423.
link(107,76) :- #0.325.
link(76,111) :- #0.171.
link(111,76) :- #0.16.
link(76,119) :- #0.482.
link(119,76) :- #0.822.
link(76,131) :- #0.063.
link(131,76) :- #0.331.
link(76,133) :- #0.453.
link(133,76) :- #0.013.
link(76,136) :- #0.479.
link(136,76) :- #0.716.
link(77,94) :- #0.981.
link(94,77) :- #0.978.
link(77,100) :- #0.091.
link(100,77) :- #0.779.
link(77,131) :- #0.646.
link(131,77) :- #0.666.
link(77,146) :- #0.223.
link(146,77) :- #0.085.
link(78,91) :- #0.483.
link(91,78) :- #0.201.
link(78,95) :- #0.882.
link(95,78) :- #0.045.
link(78,118) :- #0.393.
link(118,78) :- #0.552.
link(78,137) :- #0.746.
link(137,78) :- #0.655.
link(78,139) :- #0.231.
link(139,78) :- #0.311.
link(78,142) :- #0.748.
link(142,78) :- #0.523.
link(78,146) :- #0.71.
link(146,78) :- #0.982.
link(78,147) :- #0.921.
link(147,78) :- #0.637.
link(78,148) :- #0.877.
link(148,78) :- #0.096.
link(79,83) :- #0.799.
link(83,79) :- #0.745.
link(79,87) :- #0.363.
link(87,79) :- #0.277.
link(79,98) :- #0.127.
link(98,79) :- #0.492.
link(79,104) :- #0.204.
link(104,79) :- #0.117.
link(79,115) :- #0.964.
link(115,79) :- #0.205.
link(79,131) :- #0.661.
link(131,79) :- #0.445.
link(80,86) :- #0.327.
link(86,80) :- #0.706.
link(80,99) :- #0.474.
link(99,80) :- #0.974.
link(80,106) :- #0.527.
link(106,80) :- #0.378.
link(80,136) :- #0.643.
link(136,80) :- #0.778.
link(80,144) :- #0.826.
link(144,80) :- #0.704.
link(80,150) :- #0.287.
link(150,80) :- #0.113.
link(81,86) :- #0.356.
link(86,81) :- #0.266.
link(81,108) :- #0.19.
link(108,81) :- #0.276.
link(81,117) :- #0.515.
link(117,81) :- #0.091.
link(81,121) :- #0.301.
link(121,81) :- #0.983.
link(81,124) :- #0.947.
link(124,81) :- #0.932.
link(81,126) :- #0.917.
link(126,81) :- #0.804.
link(81,138) :- #0.331.
link(138,81) :- #0.393.
link(81,147) :- #0.473.
link(147,81) :- #0.852.
link(82,85) :- #0.516.
link(85,82) :- #0.527.
link(82,102) :- #0.344.
link(102,82) :- #0.142.
link(82,107) :- #0.214.
link(107,82) :- #0.951.
link(82,129) :- #0.788.
link(129,82) :- #0.872.
link(82,137) :- #0.64.
link(137,82) :- #0.491.
link(82,147) :- #0.94.
link(147,82) :- #0.636.
link(83,86) :- #0.06.
link(86,83) :- #0.649.
link(83,89) :- #0.544.
link(89,83) :- #0.041.
link(83,94) :- #0.348.
link(94,83) :- #0.753.
link(83,105) :- #0.13.
link(105,83) :- #0.993.
link(83,107) :- #0.029.
link(107,83) :- #0.718.
link(83,120) :- #0.388.
link(120,83) :- #0.571.
link(83,128) :- #0.163.
link(128,83) :- #0.96.
link(83,129) :- #0.231.
link(129,83) :- #0.877.
link(83,131) :- #0.121.
link(131,83) :- #0.932.
link(83,144) :- #0.219.
link(144,83) :- #0.778.
link(84,89) :- #0.31.
link(89,84) :- #0.981.
link(84,90) :- #0.6.
link(90,84) :- #0.34.
link(84,98) :- #0.086.
link(98,84) :- #0.154.
link(84,131) :- #0.996.
link(131,84) :- #0.022.
link(84,136) :- #0.198.
link(136,84) :- #0.215.
link(85,92) :- #0.987.
link(92,85) :- #0.808.
link(85,95) :- #0.608.
link(95,85) :- #0.298.
link(85,96) :- #0.246.
link(96,85) :- #0.439.
link(85,97) :- #0.329.
link(97,85) :- #0.491.
link(85,98) :- #0.184.
link(98,85) :- #0.29.
link(85,103) :- #0.168.
link(103,85) :- #0.512.
link(85,115) :- #0.774.
link(115,85) :- #0.115.
link(85,119) :- #0.988.
link(119,85) :- #0.688.
link(85,126) :- #0.61.
link(126,85) :- #0.72.
link(85,133) :- #0.165.
link(133,85) :- #0.532.
link(85,141) :- #0.676.
link(141,85) :- #0.191.
link(86,91) :- #0.413.
link(91,86) :- #0.561.
link(86,114) :- #0.35.
link(114,86) :- #0.844.
link(86,117) :- #0.687.
link(117,86) :- #0.969.
link(86,119) :- #0.249.
link(119,86) :- #0.825.
link(86,143) :- #0.688.
link(143,86) :- #0.624.
link(87,89) :- #0.565.
link(89,87) :- #0.886.
link(87,91) :- #0.761.
link(91,87) :- #0.501.
link(87,110) :- #0.817.
link(110,87) :- #0.338.
link(87,112) :- #0.218.
link(112,87) :- #0.369.
link(87,132) :- #0.871.
link(132,87) :- #0.272.
link(87,137) :- #0.071.
link(137,87) :- #0.795.
link(87,144) :- #0.801.
link(144,87) :- #0.894.
link(87,149) :- #0.536.
link(149,87) :- #0.541.
link(88,93) :- #0.456.
link(93,88) :- #0.089.
link(88,108) :- #0.888.
link(108,88) :- #0.301.
link(88,112) :- #0.591.
link(112,88) :- #0.99.
link(88,115) :- #0.106.
link(115,88) :- #0.678.
link(88,137) :- #0.266.
link(137,88) :- #0.572.
link(88,144) :- #0.388.
link(144,88) :- #0.927.
link(89,106) :- #0.896.
link(106,89) :- #0.662.
link(89,112) :- #0.984.
link(112,89) :- #0.611.
link(89,123) :- #0.519.
link(123,89) :- #0.843.
link(89,124) :- #0.643.
link(124,89) :- #0.006.
link(89,132) :- #0.3.
link(132,89) :- #0.766.
link(89,133) :- #0.447.
link(133,89) :- #0.185.
link(90,93) :- #0.201.
link(93,90) :- #0.323.
link(90,95) :- #0.302.
link(95,90) :- #0.91.
link(90,111) :- #0.684.
link(111,90) :- #0.891.
link(90,118) :- #0.18.
link(118,90) :- #0.007.
link(90,120) :- #0.95.
link(120,90) :- #0.75.
link(90,129) :- #0.389.
link(129,90) :- #0.093.
link(91,103) :- #0.021.
link(103,91) :- #0.509.
link(91,116) :- #0.198.
link(116,91) :- #0.662.
link(91,131) :- #0.913.
link(131,91) :- #0.45.
link(91,134) :- #0.692.
link(134,91) :- #0.387.
link(91,138) :- #0.819.
link(138,91) :- #0.675.
link(91,140) :- #0.458.
link(140,91) :- #0.431.
link(92,105) :- #0.75.
link(105,92) :- #0.628.
link(92,116) :- #0.967.
link(116,92) :- #0.851.
link(92,130) :- #0.131.
link(130,92) :- #0.238.
link(93,112) :- #0.022.
link(112,93) :- #0.259.
link(93,114) :- #0.948.
link(114,93) :- #0.693.
link(93,120) :- #0.502.
link(120,93) :- #0.571.
link(93,137) :- #0.627.
link(137,93) :- #0.794.
link(94,107) :- #0.716.
link(107,94) :- #0.357.
link(94,130) :- #0.996.
link(130,94) :- #0.327.
link(94,137) :- #0.658.
link(137,94) :- #0.352.
link(95,98) :- #0.702.
link(98,95) :- #0.797.
link(95,105) :- #0.462.
link(105,95) :- #0.617.
link(95,113) :- #0.775.
link(113,95) :- #0.814.
link(95,123) :- #0.673.
link(123,95) :- #0.412.
link(95,133) :- #0.964.
link(133,95) :- #0.102.
link(95,136) :- #0.834.
link(136,95) :- #0.721.
link(95,144) :- #0.74.
link(144,95) :- #0.4.
link(95,148) :- #0.345.
link(148,95) :- #0.786.
link(96,100) :- #0.738.
link(100,96) :- #0.944.
link(96,104) :- #0.954.
link(104,96) :- #0.647.
link(96,118) :- #0.063.
link(118,96) :- #0.832.
link(96,129) :- #0.227.
link(129,96) :- #0.375.
link(96,133) :- #0.404.
link(133,96) :- #0.799.
link(97,106) :- #0.526.
link(106,97) :- #0.082.
link(97,132) :- #0.937.
link(132,97) :- #0.031.
link(97,140) :- #0.601.
link(140,97) :- #0.242.
link(98,109) :- #0.512.
link(109,98) :- #0.834.
link(98,121) :- #0.679.
link(121,98) :- #0.122.
link(98,123) :- #0.682.
link(123,98) :- #0.81.
link(98,140) :- #0.834.
link(140,98) :- #0.044.
link(99,115) :- #0.589.
link(115,99) :- #0.686.
link(99,121) :- #0.273.
link(121,99) :- #0.489.
link(99,136) :- #0.091.
link(136,99) :- #0.883.
link(100,104) :- #0.641.
link(104,100) :- #0.234.
link(100,115) :- #0.481.
link(115,100) :- #0.126.
link(100,131) :- #0.544.
link(131,100) :- #0.454.
link(100,134) :- #0.731.
link(134,100) :- #0.988.
link(100,141) :- #0.458.
link(141,100) :- #0.975.
link(100,148) :- #0.892.
link(148,100) :- #0.745.
link(101,115) :- #0.221.
link(115,101) :- #0.566.
link(101,120) :- #0.544.
link(120,101) :- #0.775.
link(101,122) :- #0.356.
link(122,101) :- #0.561.
link(101,126) :- #0.51.
link(126,101) :- #0.194.
link(101,127) :- #0.795.
link(127,101) :- #0.279.
link(101,131) :- #0.128.
link(131,101) :- #0.301.
link(101,137) :- #0.893.
link(137,101) :- #0.497.
link(101,146) :- #0.713.
link(146,101) :- #0.652.
link(102,139) :- #0.206.
link(139,102) :- #0.578.
link(103,106) :- #0.579.
link(106,103) :- #0.352.
link(103,108) :- #0.882.
link(108,103) :- #0.287.
link(103,114) :- #0.419.
link(114,103) :- #0.146.
link(103,128) :- #0.041.
link(128,103) :- #0.743.
link(103,136) :- #0.582.
link(136,103) :- #0.549.
link(103,139) :- #0.291.
link(139,103) :- #0.41.
link(103,141) :- #0.064.
link(141,103) :- #0.056.
link(103,148) :- #0.277.
link(148,103) :- #0.464.
link(103,150) :- #0.769.
link(150,103) :- #0.154.
link(104,122) :- #0.414.
link(122,104) :- #0.942.
link(104,123) :- #0.054.
link(123,104) :- #0.646.
link(104,136) :- #0.699.
link(136,104) :- #0.607.
link(104,143) :- #0.986.
link(143,104) :- #0.78.
link(104,146) :- #0.997.
link(146,104) :- #0.752.
link(105,108) :- #0.272.
link(108,105) :- #0.743.
link(105,117) :- #0.394.
link(117,105) :- #0.103.
link(105,136) :- #0.238.
link(136,105) :- #0.746.
link(105,147) :- #0.217.
link(147,105) :- #0.233.
link(106,111) :- #0.41.
link(111,106) :- #0.745.
link(106,127) :- #0.152.
link(127,106) :- #0.546.
link(106,142) :- #0.533.
link(142,106) :- #0.645.
link(106,145) :- #0.294.
link(145,106) :- #0.099.
link(107,126) :- #0.936.
link(126,107) :- #0.002.
link(107,132) :- #0.157.
link(132,107) :- #0.319.
link(107,133) :- #0.773.
link(133,107) :- #0.817.
link(108,147) :- #0.045.
link(147,108) :- #0.841.
link(109,129) :- #0.508.
link(129,109) :- #0.199.
link(109,141) :- #0.102.
link(141,109) :- #0.29.
link(109,142) :- #0.114.
link(142,109) :- #0.784.
link(109,143) :- #0.859.
link(143,109) :- #0.071.
link(110,135) :- #0.487.
link(135,110) :- #0.83.
link(110,138) :- #0.741.
link(138,110) :- #0.361.
link(111,140) :- #0.952.
link(140,111) :- #0.415.
link(111,141) :- #0.426.
link(141,111) :- #0.127.
link(111,150) :- #0.043.
link(150,111) :- #0.999.
link(112,116) :- #0.928.
link(116,112) :- #0.462.
link(112,120) :- #0.784.
link(120,112) :- #0.505.
link(112,123) :- #0.05.
link(123,112) :- #0.995.
link(112,129) :- #0.974.
link(129,112) :- #0.778.
link(112,131) :- #0.421.
link(131,112) :- #0.891.
link(112,133) :- #0.719.
link(133,112) :- #0.714.
link(113,115) :- #0.517.
link(115,113) :- #0.803.
link(113,124) :- #0.024.
link(124,113) :- #0.083.
link(113,130) :- #0.039.
link(130,113) :- #0.263.
link(113,136) :- #0.361.
link(136,113) :- #0.313.
link(114,124) :- #0.32.
link(124,114) :- #0.915.
link(114,132) :- #0.933.
link(132,114) :- #0.583.
link(114,134) :- #0.326.
link(134,114) :- #0.707.
link(114,140) :- #0.077.
link(140,114) :- #0.992.
link(115,136) :- #0.483.
link(136,115) :- #0.888.
link(116,124) :- #0.901.
link(124,116) :- #0.454.
link(116,127) :- #0.503.
link(127,116) :- #0.366.
link(117,137) :- #0.453.
link(137,117) :- #0.059.
link(118,129) :- #0.369.
link(129,118) :- #0.391.
link(118,136) :- #0.455.
link(136,118) :- #0.893.
link(119,147) :- #0.328.
link(147,119) :- #0.715.
link(120,127) :- #0.836.
link(127,120) :- #0.716.
link(120,130) :- #0.621.
link(130,120) :- #0.519.
link(120,133) :- #0.915.
link(133,120) :- #0.176.
link(120,144) :- #0.479.
link(144,120) :- #0.658.
link(120,146) :- #0.461.
link(146,120) :- #0.751.
link(120,147) :- #0.841.
link(147,120) :- #0.774.
link(120,148) :- #0.818.
link(148,120) :- #0.711.
link(121,130) :- #0.194.
link(130,121) :- #0.913.
link(121,135) :- #0.574.
link(135,121) :- #0.895.
link(121,144) :- #0.664.
link(144,121) :- #0.432.
link(121,147) :- #0.66.
link(147,121) :- #0.969.
link(121,149) :- #0.2.
link(149,121) :- #0.706.
link(122,136) :- #0.363.
link(136,122) :- #0.306.
link(122,147) :- #0.676.
link(147,122) :- #0.902.
link(123,132) :- #0.289.
link(132,123) :- #0.388.
link(123,137) :- #0.42.
link(137,123) :- #0.374.
link(123,139) :- #0.255.
link(139,123) :- #0.123.
link(123,149) :- #0.996.
link(149,123) :- #0.17.
link(124,125) :- #0.099.
link(125,124) :- #0.376.
link(124,128) :- #0.553.
link(128,124) :- #0.081.
link(124,130) :- #0.329.
link(130,124) :- #0.794.
link(124,143) :- #0.417.
link(143,124) :- #0.409.
link(124,145) :- #0.97.
link(145,124) :- #0.271.
link(125,146) :- #0.367.
link(146,125) :- #0.494.
link(126,145) :- #0.166.
link(145,126) :- #0.955.
link(126,147) :- #0.712.
link(147,126) :- #0.351.
link(127,128) :- #0.513.
link(128,127) :- #0.734.
link(127,134) :- #0.502.
link(134,127) :- #0.903.
link(127,136) :- #0.464.
link(136,127) :- #0.929.
link(127,145) :- #0.082.
link(145,127) :- #0.089.
link(128,133) :- #0.793.
link(133,128) :- #0.356.
link(128,134) :- #0.603.
link(134,128) :- #0.004.
link(128,139) :- #0.11.
link(139,128) :- #0.544.
link(129,132) :- #0.752.
link(132,129) :- #0.549.
link(129,139) :- #0.133.
link(139,129) :- #0.404.
link(129,145) :- #0.89.
link(145,129) :- #0.257.
link(129,148) :- #0.242.
link(148,129) :- #0.88.
link(130,132) :- #0.417.
link(132,130) :- #0.999.
link(131,138) :- #0.029.
link(138,131) :- #0.534.
link(131,146) :- #0.607.
link(146,131) :- #0.505.
link(132,137) :- #0.016.
link(137,132) :- #0.68.
link(132,145) :- #0.548.
link(145,132) :- #0.611.
link(133,148) :- #0.434.
link(148,133) :- #0.995.
link(133,149) :- #0.383.
link(149,133) :- #0.344.
link(134,144) :- #0.407.
link(144,134) :- #0.659.
link(135,140) :- #0.618.
link(140,135) :- #0.257.
link(137,139) :- #0.927.
link(139,137) :- #0.288.
link(137,142) :- #0.205.
link(142,137) :- #0.517.
link(137,149) :- #0.412.
link(149,137) :- #0.661.
link(140,147) :- #0.9.
link(147,140) :- #0.473.
link(140,148) :- #0.329.
link(148,140) :- #0.556.
link(140,150) :- #0.571.
link(150,140) :- #0.503.
link(141,146) :- #0.426.
link(146,141) :- #0.626.
link(143,145) :- #0.852.
link(145,143) :- #0.707.
link(145,148) :- #0.347.
link(148,145) :- #0.93.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
